условный верификатор

information security

eng.assertion checker

rus.условный верификатор

ukr.умовний веріфікатор

Программа, анализирующая текст другой программы, снабженной условиями и операторами контроля, который должны выполняться в определенных ее точках, и доказывающая их истинность или ложность при заданных предусловиях.